case(R)
Rnone: none
left  right: comb(left;right)
base(b). base(b)
== case R of 
== Rnone => none
== Rplus(left,right)=>rec1,rec2.comb(rec1;rec2)
== Rinit(loc,T,x,v)=> base(Rinit(loc;T;x;v))
== Rframe(loc,T,x,L)=> base(Rframe(loc;T;x;L))
== Rsframe(lnk,tag,L)=> base(Rsframe(lnk;tag;L))
== Reffect(loc,ds,knd,T,x,f)=> base(Reffect(loc;ds;knd;T;x;f))
== Rsends(ds,knd,T,l,dt,g)=> base(Rsends(ds;knd;T;l;dt;g))
== Rpre(loc,ds,a,T,P)=> base(Rpre(loc;ds;a;T;P))
== Rkframe(loc,k,L)=> base(Raframe(loc;k;L))
== Rksframe(loc,k,L)=> base(Rbframe(loc;k;L))
== Rrframe(loc,x,L)=> base(Rrframe(loc;x;L)) 

latex

Definitions	Rrframe(loc;x;L), Rbframe(loc;k;L), Raframe(loc;k;L), Rpre(loc;ds;a;p;P), Rsends(ds;knd;T;l;dt;g), Reffect(loc;ds;knd;T;x;f), Rsframe(lnk;tag;L), Rframe(loc;T;x;L), Rinit(loc;T;x;v), es realizer ind
FDL editor aliases	R-comb